161. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
162. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
163. Automated technology for verification and analysis
پدیدآورنده : Supratik Chakraborty, Madhavan Mukund (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2012eb
164. Automated technology for verification and analysis :
پدیدآورنده : Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
165. Automated technology for verification and analysis
پدیدآورنده : Zhiming Liu, Anders P. Ravn (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2009
166. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
167. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
168. Automatic differentiation of algorithms :
پدیدآورنده : George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoët, Uwe Naumann, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential calculus -- Data processing -- Congresses.,Differential calculus -- Data processing.
رده :
QA304
.
G467
9999
170. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
171. Bidirectional transformations :
پدیدآورنده : Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
172. Big data, cloud computing, and data science engineering
پدیدآورنده : Roger Lee, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Big data,Congresses ، Cloud computing,Congresses ، Software engineering
رده :
QA
76
.
9
.
B45B533
173. Bioinspired models of network, information, and computing system
پدیدآورنده : / BIONETICS 2009, Avignon, France, December 9 - 11, 2009. Eitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Network topology, swd,Autonomic computing, swd,Biocybernetics, swd,Delay Tolerant Network, swd,Software system, swd,Biological model, swd,Avignon <2009>, swd,Congress, swd,Bionics, Congresses,Biologically-inspired computing, Congresses,Computer science, Congresses,Computer networks, Congresses,Information technology, Congresses
174. Broadband communications, networks, and systems :
پدیدآورنده : Ioannis Tomkos ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Broadband communication systems -- Congresses.,Computer. Automation.,software engineering.
175. Building the e-World ecosystem :
پدیدآورنده : Tomas Skersys ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Electronic commerce, Congresses.,Information technology, Congresses.,Internet in public administration, Congresses.,World Wide Web, Congresses.
رده :
TK5105
.
5
.
I35
2011
176. Business Information Systems Workshops :
پدیدآورنده : Witold Abramowicz, Adrian Paschke (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses.,Management information systems, Congresses.,Business-- Data processing.,Management information systems.
رده :
T58
.
6
.
I58
2018eb
177. Business modeling and software design :
پدیدآورنده : Boris Shishkov (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business -- Data processing -- Congresses.,Management information systems -- Congresses.,Software engineering -- Congresses.
رده :
T58
.
6
B675
2012
178. Business modeling and software design / :
پدیدآورنده : Boris Shishkov (Ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses.,Management information systems, Congresses.,Software architecture, Congresses.,Business-- Data processing.,Management information systems.,Software architecture.
رده :
T58
.
6
179. Business process model and notation :
پدیدآورنده : Remco Dijkman, Jörg Hofstetter, Jana Koehler (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses.,Business-- Mathematical models, Congresses.,Management information systems, Congresses.,Process control-- Data processing-- Management, Congresses.,Workflow-- Data processing, Congresses.
رده :
TS156
.
8
.
B87
2011
180. COTS-based software systems : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
پدیدآورنده : John Dean, Andree Gravel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2255
